On the Pursuit of Static and Coherent Weaving
نویسندگان
چکیده
Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like type inference mechanism, polymorphic types, higher-order functions and type-scoped pointcuts. Specifically, it is highly desirable that weaving of aspect-oriented functional programs can be performed statically and coherently. In [13], we showed a type-directed weaver which resolves all advice chainings coherently at static time. The novelty of this paper lies in the extended framework which supports static and coherent weaving in the presence of polymorphic recursive functions, advising advice bodies and higher-order advices.
منابع مشابه
Static and Dynamic Approaches to Weaving
In this paper we present current state of principles and applications in static and dynamic weaving. We are concentrating on static weaving in AspectJ and dynamic weaving in PROSE PROgrammable extenSions of sErvice. The contribution of this paper is in analyses of both approaches to weaving which we aim to apply as essential mechanisms when constructing software systems by automatic evolution.
متن کاملOcular Motor Function in Patients with Bilateral Vestibular Weakness
Introduction: Patients with bilateral weakness (BW) have many difficulties in gaze stability that interfere with their normal function. The aim of this study was to evaluate ocular motor functions in patients with BW to better understand the problem of gaze instability in these patients. Materials and Methods: Patients were referred from the Otolaryngology Department for Vestibular Assessmen...
متن کاملType-directed weaving of aspects for polymorphically typed functional languages
Incorporating aspect-oriented paradigm to a polymorphically typed functional language enables the declaration of type-scoped advice, in which the effect of an aspect can be harnessed by introducing possibly polymorphic type constraints to the aspect. The amalgamation of aspect orientation and functional programming enables quick behavioral adaption of functions, clear separation of concerns and...
متن کاملPerformance Assessment of the 2010 HCM and Its Calibrated Model in Estimation of Weaving and Non-weaving Speed
Calibration is a conventional method which is utilized to adapt traffic models based on local situations in order to achieve best results. One of the issues regarding the efficiency of this method is whether traffic models should be calibrated only in one or two major cities of a country or calibrated based upon a comprehensive selection of cities. Therefore, this study, which has used the actu...
متن کاملMotion coherence affects human perception and pursuit similarly.
Pursuit and perception both require accurate information about the motion of objects. Recovering the motion of objects by integrating the motion of their components is a difficult visual task. Successful integration produces coherent global object motion, while a failure to integrate leaves the incoherent local motions of the components unlinked. We compared the ability of perception and pursui...
متن کامل